<?
 $a = file_get_contents("http://[2001:16d8:ee30::4]:11371/pks/lookup?op=stats");
 echo $a;
?>
